[next] [prev] [prev-tail] [tail] [up]

2.2.22 Integrals 2101 to 2200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 2101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 38 39 33 54 105 24 36

N.S.

1 1.00 0.86 0.89 0.75 1.23 2.39 0.55 0.82

time (sec)

N/A 0.175 0.043 0.040 0.201 0.270 0.827 0.294 6.001

Problem 2102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 170 94 295 0 114 42 0 0

N.S.

1 1.12 0.62 1.94 0.00 0.75 0.28 0.00 0.00

time (sec)

N/A 0.263 10.060 1.690 0.000 0.087 0.720 0.000 0.000

Problem 2103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

277 296 81 485 0 157 41 0 43

N.S.

1 1.07 0.29 1.75 0.00 0.57 0.15 0.00 0.16

time (sec)

N/A 0.380 10.053 0.615 0.000 0.088 0.711 0.000 6.179

Problem 2104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 141 82 270 0 103 37 0 39

N.S.

1 1.08 0.63 2.06 0.00 0.79 0.28 0.00 0.30

time (sec)

N/A 0.230 10.065 0.504 0.000 0.081 0.810 0.000 6.034

Problem 2105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

262 277 77 484 0 149 39 0 0

N.S.

1 1.06 0.29 1.85 0.00 0.57 0.15 0.00 0.00

time (sec)

N/A 0.359 10.037 0.430 0.000 0.084 0.955 0.000 0.000

Problem 2106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

310 329 267 34 250 18648 22 268 290

N.S.

1 1.06 0.86 0.11 0.81 60.15 0.07 0.86 0.94

time (sec)

N/A 0.664 0.215 0.097 0.283 1.095 0.096 0.293 6.440

Problem 2107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F A B A F(-2) B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

27 27 60 0 37 102 24 0 19

N.S.

1 1.00 2.22 0.00 1.37 3.78 0.89 0.00 0.70

time (sec)

N/A 0.166 0.457 0.000 0.276 0.597 0.641 0.000 6.159

Problem 2108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F A A C F(-2) B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

29 29 66 0 21 111 60 0 21

N.S.

1 1.00 2.28 0.00 0.72 3.83 2.07 0.00 0.72

time (sec)

N/A 0.170 0.478 0.000 0.274 0.590 0.690 0.000 6.036

Problem 2109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

220 222 182 34 194 212 22 180 227

N.S.

1 1.01 0.83 0.15 0.88 0.96 0.10 0.82 1.03

time (sec)

N/A 0.455 0.060 0.088 0.287 0.261 0.090 0.270 5.873

Problem 2110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

272 314 367 34 0 232 22 442 115

N.S.

1 1.15 1.35 0.12 0.00 0.85 0.08 1.62 0.42

time (sec)

N/A 0.590 0.251 0.042 0.000 0.286 0.101 0.293 0.151

Problem 2111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 14 166 13 15 13 13

N.S.

1 1.00 1.00 0.74 8.74 0.68 0.79 0.68 0.68

time (sec)

N/A 0.158 0.017 0.025 0.193 0.244 0.364 0.285 0.028

Problem 2112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 14 132 13 15 13 13

N.S.

1 1.00 1.00 0.74 6.95 0.68 0.79 0.68 0.68

time (sec)

N/A 0.160 0.016 0.024 0.197 0.265 0.318 0.267 0.026

Problem 2113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 14 98 13 15 13 13

N.S.

1 1.00 1.00 0.74 5.16 0.68 0.79 0.68 0.68

time (sec)

N/A 0.158 0.016 0.023 0.207 0.263 0.303 0.278 0.025

Problem 2114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 14 64 13 15 13 13

N.S.

1 1.00 1.00 0.74 3.37 0.68 0.79 0.68 0.68

time (sec)

N/A 0.157 0.013 0.020 0.197 0.260 0.283 0.276 0.026

Problem 2115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 11 10 10 12 10 10

N.S.

1 1.00 1.00 0.79 0.71 0.71 0.86 0.71 0.71

time (sec)

N/A 0.148 0.002 0.020 0.189 0.253 0.018 0.278 0.026

Problem 2116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 11 14 12 12 11

N.S.

1 1.00 1.00 0.92 0.85 1.08 0.92 0.92 0.85

time (sec)

N/A 0.159 0.016 0.033 0.189 0.270 0.069 0.283 0.052

Problem 2117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 16 14 13 13 12 13 13

N.S.

1 1.00 1.07 0.93 0.87 0.87 0.80 0.87 0.87

time (sec)

N/A 0.159 0.016 0.023 0.182 0.260 0.150 0.279 0.037

Problem 2118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 14 15 15 17 15 13

N.S.

1 1.00 1.00 0.74 0.79 0.79 0.89 0.79 0.68

time (sec)

N/A 0.155 0.019 0.023 0.197 0.254 0.197 0.275 0.027

Problem 2119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 14 15 15 17 15 15

N.S.

1 1.00 1.00 0.74 0.79 0.79 0.89 0.79 0.79

time (sec)

N/A 0.155 0.019 0.026 0.189 0.259 0.222 0.268 0.030

Problem 2120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 34 28 25 166 24 27 24 24

N.S.

1 1.06 0.88 0.78 5.19 0.75 0.84 0.75 0.75

time (sec)

N/A 0.183 0.021 3.558 0.191 0.259 0.173 0.271 5.852

Problem 2121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 34 28 25 132 24 27 24 24

N.S.

1 1.06 0.88 0.78 4.12 0.75 0.84 0.75 0.75

time (sec)

N/A 0.181 0.021 3.575 0.224 0.262 0.130 0.276 0.042

Problem 2122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 34 28 25 98 24 27 24 24

N.S.

1 1.06 0.88 0.78 3.06 0.75 0.84 0.75 0.75

time (sec)

N/A 0.179 0.020 5.794 0.195 0.252 0.101 0.284 5.824

Problem 2123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 34 28 25 64 24 27 24 24

N.S.

1 1.06 0.88 0.78 2.00 0.75 0.84 0.75 0.75

time (sec)

N/A 0.174 0.020 5.795 0.199 0.260 0.082 0.302 0.037

Problem 2124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 32 26 22 21 21 24 21 21

N.S.

1 1.19 0.96 0.81 0.78 0.78 0.89 0.78 0.78

time (sec)

N/A 0.178 0.017 5.785 0.194 0.274 0.059 0.290 0.035

Problem 2125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 30 21 20 19 22 20 20 22

N.S.

1 1.43 1.00 0.95 0.90 1.05 0.95 0.95 1.05

time (sec)

N/A 0.169 0.022 3.465 0.209 0.261 0.074 0.279 5.837

Problem 2126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 32 23 23 23 27 20 24 26

N.S.

1 1.33 0.96 0.96 0.96 1.12 0.83 1.00 1.08

time (sec)

N/A 0.172 0.028 5.791 0.184 0.253 0.173 0.268 5.757

Problem 2127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 34 28 25 24 24 26 24 24

N.S.

1 1.13 0.93 0.83 0.80 0.80 0.87 0.80 0.80

time (sec)

N/A 0.174 0.023 3.495 0.228 0.256 0.199 0.278 0.029

Problem 2128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 34 28 25 24 24 29 24 24

N.S.

1 1.06 0.88 0.78 0.75 0.75 0.91 0.75 0.75

time (sec)

N/A 0.175 0.026 5.696 0.203 0.255 0.230 0.279 0.027

Problem 2129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 34 28 25 24 24 29 24 24

N.S.

1 1.06 0.88 0.78 0.75 0.75 0.91 0.75 0.75

time (sec)

N/A 0.175 0.026 6.012 0.190 0.266 0.270 0.274 0.030

Problem 2130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 49 41 36 166 41 42 35 35

N.S.

1 1.04 0.87 0.77 3.53 0.87 0.89 0.74 0.74

time (sec)

N/A 0.196 0.025 3.437 0.182 0.262 0.428 0.274 0.047

Problem 2131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 49 43 36 132 41 44 35 35

N.S.

1 1.04 0.91 0.77 2.81 0.87 0.94 0.74 0.74

time (sec)

N/A 0.191 0.022 3.595 0.205 0.263 0.391 0.279 0.045

Problem 2132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 49 43 36 98 41 44 35 35

N.S.

1 1.04 0.91 0.77 2.09 0.87 0.94 0.74 0.74

time (sec)

N/A 0.190 0.023 3.588 0.188 0.255 0.364 0.313 0.045

Problem 2133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 49 43 35 64 40 41 34 34

N.S.

1 1.11 0.98 0.80 1.45 0.91 0.93 0.77 0.77

time (sec)

N/A 0.186 0.020 3.645 0.189 0.270 0.335 0.293 0.049

Problem 2134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 40 41 33 32 35 39 32 32

N.S.

1 1.05 1.08 0.87 0.84 0.92 1.03 0.84 0.84

time (sec)

N/A 0.172 0.018 3.378 0.185 0.276 0.283 0.287 0.043

Problem 2135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 45 37 32 31 34 37 32 34

N.S.

1 1.22 1.00 0.86 0.84 0.92 1.00 0.86 0.92

time (sec)

N/A 0.181 0.027 3.535 0.204 0.267 0.089 0.281 0.039

Problem 2136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 45 39 35 35 38 36 36 37

N.S.

1 1.18 1.03 0.92 0.92 1.00 0.95 0.95 0.97

time (sec)

N/A 0.181 0.038 3.573 0.195 0.288 0.157 0.289 5.844

Problem 2137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 41 36 33 32 39 33 33

N.S.

1 1.00 1.95 1.71 1.57 1.52 1.86 1.57 1.57

time (sec)

N/A 0.145 0.029 3.363 0.190 0.270 0.201 0.278 0.036

Problem 2138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 49 41 36 35 36 46 35 35

N.S.

1 1.04 0.87 0.77 0.74 0.77 0.98 0.74 0.74

time (sec)

N/A 0.187 0.027 5.781 0.187 0.281 0.228 0.272 5.873

Problem 2139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 49 41 36 35 36 42 35 35

N.S.

1 1.09 0.91 0.80 0.78 0.80 0.93 0.78 0.78

time (sec)

N/A 0.183 0.031 3.632 0.191 0.274 0.281 0.265 0.035

Problem 2140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 49 41 36 35 36 46 35 35

N.S.

1 1.04 0.87 0.77 0.74 0.77 0.98 0.74 0.74

time (sec)

N/A 0.186 0.032 3.740 0.199 0.261 0.326 0.270 0.038

Problem 2141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 77 67 58 166 63 73 57 57

N.S.

1 1.03 0.89 0.77 2.21 0.84 0.97 0.76 0.76

time (sec)

N/A 0.212 0.029 5.635 0.191 0.250 0.501 0.310 0.028

Problem 2142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 74 67 58 132 63 71 57 57

N.S.

1 1.01 0.92 0.79 1.81 0.86 0.97 0.78 0.78

time (sec)

N/A 0.212 0.027 5.624 0.193 0.261 0.450 0.265 0.026

Problem 2143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 77 67 57 98 62 70 56 56

N.S.

1 1.07 0.93 0.79 1.36 0.86 0.97 0.78 0.78

time (sec)

N/A 0.218 0.026 3.534 0.195 0.281 0.410 0.285 0.028

Problem 2144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 82 67 58 64 63 71 57 57

N.S.

1 1.02 0.84 0.72 0.80 0.79 0.89 0.71 0.71

time (sec)

N/A 0.208 0.025 3.544 0.185 0.259 0.387 0.278 0.027

Problem 2145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 40 65 55 54 58 66 54 54

N.S.

1 1.05 1.71 1.45 1.42 1.53 1.74 1.42 1.42

time (sec)

N/A 0.170 0.023 3.509 0.195 0.267 0.338 0.277 0.026

Problem 2146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 71 67 54 53 57 66 54 56

N.S.

1 1.09 1.03 0.83 0.82 0.88 1.02 0.83 0.86

time (sec)

N/A 0.197 0.033 3.480 0.188 0.264 0.119 0.282 0.031

Problem 2147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 72 62 55 55 61 61 56 57

N.S.

1 1.16 1.00 0.89 0.89 0.98 0.98 0.90 0.92

time (sec)

N/A 0.199 0.050 3.592 0.190 0.248 0.188 0.267 0.033

Problem 2148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 71 69 57 57 62 65 58 59

N.S.

1 1.08 1.05 0.86 0.86 0.94 0.98 0.88 0.89

time (sec)

N/A 0.206 0.057 3.609 0.209 0.280 0.205 0.269 0.052

Problem 2149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 65 58 55 56 66 55 55

N.S.

1 1.00 3.10 2.76 2.62 2.67 3.14 2.62 2.62

time (sec)

N/A 0.143 0.039 3.556 0.190 0.248 0.234 0.305 5.850

Problem 2150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 78 65 58 57 58 73 57 57

N.S.

1 1.11 0.93 0.83 0.81 0.83 1.04 0.81 0.81

time (sec)

N/A 0.174 0.040 3.472 0.196 0.246 0.287 0.281 5.809

Problem 2151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 77 65 58 57 58 75 57 57

N.S.

1 1.03 0.87 0.77 0.76 0.77 1.00 0.76 0.76

time (sec)

N/A 0.207 0.041 5.780 0.199 0.267 0.346 0.269 0.044

Problem 2152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 75 65 58 57 58 73 57 57

N.S.

1 1.03 0.89 0.79 0.78 0.79 1.00 0.78 0.78

time (sec)

N/A 0.212 0.043 3.582 0.187 0.380 0.419 0.285 0.046

Problem 2153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 144 126 113 166 118 139 112 112

N.S.

1 1.03 0.90 0.81 1.19 0.84 0.99 0.80 0.80

time (sec)

N/A 0.285 0.043 3.532 0.196 0.260 0.463 0.278 5.890

Problem 2154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 166 126 113 132 118 136 112 112

N.S.

1 1.02 0.78 0.70 0.81 0.73 0.84 0.69 0.69

time (sec)

N/A 0.293 0.039 3.483 0.182 0.251 0.374 0.272 0.065

Problem 2155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 124 126 113 98 118 139 112 112

N.S.

1 1.02 1.03 0.93 0.80 0.97 1.14 0.92 0.92

time (sec)

N/A 0.256 0.037 3.469 0.187 0.247 0.294 0.280 0.071

Problem 2156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 82 126 113 64 118 136 112 112

N.S.

1 1.02 1.58 1.41 0.80 1.48 1.70 1.40 1.40

time (sec)

N/A 0.218 0.036 3.534 0.189 0.240 0.234 0.273 0.071

Problem 2157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 40 124 110 30 113 133 109 109

N.S.

1 1.05 3.26 2.89 0.79 2.97 3.50 2.87 2.87

time (sec)

N/A 0.177 0.033 3.463 0.190 0.256 0.193 0.273 0.073

Problem 2158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 138 128 109 108 112 131 109 111

N.S.

1 1.08 1.00 0.85 0.84 0.88 1.02 0.85 0.87

time (sec)

N/A 0.252 0.047 3.559 0.211 0.254 0.247 0.266 0.077

Problem 2159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 135 123 110 110 117 124 111 112

N.S.

1 1.10 1.00 0.89 0.89 0.95 1.01 0.90 0.91

time (sec)

N/A 0.263 0.072 3.464 0.189 0.263 0.291 0.270 0.083

Problem 2160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 135 128 110 110 117 128 111 112

N.S.

1 1.06 1.01 0.87 0.87 0.92 1.01 0.87 0.88

time (sec)

N/A 0.263 0.080 3.489 0.199 0.276 0.289 0.274 0.055

Problem 2161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 135 124 110 110 117 128 111 112

N.S.

1 1.06 0.98 0.87 0.87 0.92 1.01 0.87 0.88

time (sec)

N/A 0.261 0.091 3.519 0.204 0.243 0.293 0.269 5.761

Problem 2162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 135 124 109 109 117 124 110 111

N.S.

1 1.11 1.02 0.89 0.89 0.96 1.02 0.90 0.91

time (sec)

N/A 0.267 0.137 3.482 0.190 0.266 0.301 0.272 0.057

Problem 2163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 140 128 111 111 117 131 112 114

N.S.

1 1.08 0.98 0.85 0.85 0.90 1.01 0.86 0.88

time (sec)

N/A 0.259 0.129 3.594 0.204 0.256 0.366 0.273 5.870

Problem 2164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 48 124 113 112 113 134 112 111

N.S.

1 1.04 2.70 2.46 2.43 2.46 2.91 2.43 2.41

time (sec)

N/A 0.160 0.065 3.518 0.192 0.271 0.442 0.274 5.877

Problem 2165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 110 124 113 112 113 138 112 112

N.S.

1 1.15 1.29 1.18 1.17 1.18 1.44 1.17 1.17

time (sec)

N/A 0.195 0.066 3.506 0.205 0.263 0.534 0.281 5.817

Problem 2166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 172 124 113 112 113 141 112 112

N.S.

1 1.18 0.85 0.77 0.77 0.77 0.97 0.77 0.77

time (sec)

N/A 0.226 0.083 3.480 0.187 0.265 0.647 0.271 0.096

Problem 2167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 142 124 113 112 113 138 112 112

N.S.

1 1.04 0.91 0.83 0.82 0.83 1.01 0.82 0.82

time (sec)

N/A 0.272 0.077 3.675 0.189 0.270 0.744 0.279 0.094

Problem 2168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 144 124 113 112 113 141 112 112

N.S.

1 1.03 0.89 0.81 0.80 0.81 1.01 0.80 0.80

time (sec)

N/A 0.265 0.080 3.381 0.197 0.250 0.904 0.276 5.864

Problem 2169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

242 246 187 168 200 173 214 167 167

N.S.

1 1.02 0.77 0.69 0.83 0.71 0.88 0.69 0.69

time (sec)

N/A 0.379 0.057 3.552 0.188 0.243 1.223 0.276 0.169

Problem 2170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

202 204 187 168 166 173 211 167 167

N.S.

1 1.01 0.93 0.83 0.82 0.86 1.04 0.83 0.83

time (sec)

N/A 0.334 0.051 3.491 0.199 0.261 1.092 0.279 0.169

Problem 2171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 163 187 168 132 173 209 167 167

N.S.

1 1.01 1.15 1.04 0.81 1.07 1.29 1.03 1.03

time (sec)

N/A 0.292 0.050 3.515 0.200 0.277 0.951 0.269 0.170

Problem 2172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 124 187 168 98 173 212 167 167

N.S.

1 1.02 1.53 1.38 0.80 1.42 1.74 1.37 1.37

time (sec)

N/A 0.260 0.050 3.522 0.188 0.261 0.863 0.296 0.161

Problem 2173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 82 187 168 64 173 204 167 167

N.S.

1 1.02 2.34 2.10 0.80 2.16 2.55 2.09 2.09

time (sec)

N/A 0.230 0.049 3.510 0.192 0.252 0.764 0.287 0.175

Problem 2174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 40 185 165 30 167 197 164 164

N.S.

1 1.05 4.87 4.34 0.79 4.39 5.18 4.32 4.32

time (sec)

N/A 0.174 0.044 3.406 0.193 0.260 0.653 0.283 0.210

Problem 2175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 213 189 164 163 167 211 164 166

N.S.

1 1.04 0.92 0.80 0.80 0.81 1.03 0.80 0.81

time (sec)

N/A 0.321 0.073 3.540 0.190 0.267 0.460 0.281 0.180

Problem 2176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 206 191 165 165 172 197 166 167

N.S.

1 1.07 0.99 0.86 0.86 0.90 1.03 0.86 0.87

time (sec)

N/A 0.336 0.095 3.593 0.198 0.272 0.470 0.282 0.162

Problem 2177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

190 204 189 165 163 172 196 164 167

N.S.

1 1.07 0.99 0.87 0.86 0.91 1.03 0.86 0.88

time (sec)

N/A 0.324 0.112 3.591 0.205 0.247 0.484 0.276 0.120

Problem 2178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 206 189 165 165 171 201 166 167

N.S.

1 1.05 0.96 0.84 0.84 0.87 1.03 0.85 0.85

time (sec)

N/A 0.333 0.123 3.511 0.196 0.294 0.493 0.294 5.716

Problem 2179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 206 189 165 165 172 199 166 167

N.S.

1 1.06 0.97 0.85 0.85 0.89 1.03 0.86 0.86

time (sec)

N/A 0.332 0.162 3.391 0.197 0.265 0.498 0.275 5.885

Problem 2180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 208 189 165 165 172 201 166 167

N.S.

1 1.06 0.96 0.84 0.84 0.88 1.03 0.85 0.85

time (sec)

N/A 0.341 0.161 3.527 0.190 0.250 0.501 0.266 5.890

Problem 2181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 209 189 167 167 172 202 168 168

N.S.

1 1.06 0.95 0.84 0.84 0.87 1.02 0.85 0.85

time (sec)

N/A 0.340 0.169 3.528 0.193 0.250 0.555 0.293 5.958

Problem 2182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 185 168 165 164 197 165 167

N.S.

1 1.00 8.81 8.00 7.86 7.81 9.38 7.86 7.95

time (sec)

N/A 0.145 0.097 3.502 0.201 0.248 0.656 0.280 0.257

Problem 2183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 78 185 168 167 168 209 167 167

N.S.

1 1.11 2.64 2.40 2.39 2.40 2.99 2.39 2.39

time (sec)

N/A 0.179 0.095 3.653 0.188 0.251 0.792 0.276 5.927

Problem 2184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 140 185 168 167 168 211 167 167

N.S.

1 1.17 1.54 1.40 1.39 1.40 1.76 1.39 1.39

time (sec)

N/A 0.206 0.115 3.561 0.197 0.263 0.931 0.290 0.240

Problem 2185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 202 185 168 167 168 214 167 167

N.S.

1 1.19 1.09 0.99 0.98 0.99 1.26 0.98 0.98

time (sec)

N/A 0.235 0.114 3.633 0.200 0.275 1.097 0.280 5.765

Problem 2186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

220 264 185 168 167 168 214 167 167

N.S.

1 1.20 0.84 0.76 0.76 0.76 0.97 0.76 0.76

time (sec)

N/A 0.270 0.122 3.378 0.203 0.293 1.297 0.288 5.824

Problem 2187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

270 326 185 168 167 168 212 167 167

N.S.

1 1.21 0.69 0.62 0.62 0.62 0.79 0.62 0.62

time (sec)

N/A 0.298 0.120 3.576 0.192 0.264 1.520 0.290 5.956

Problem 2188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

211 215 185 168 167 168 216 167 167

N.S.

1 1.02 0.88 0.80 0.79 0.80 1.02 0.79 0.79

time (sec)

N/A 0.332 0.120 3.509 0.193 0.268 1.775 0.279 0.215

Problem 2189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

211 217 185 168 167 168 216 167 167

N.S.

1 1.03 0.88 0.80 0.79 0.80 1.02 0.79 0.79

time (sec)

N/A 0.341 0.120 3.389 0.195 0.266 2.072 0.285 6.051

Problem 2190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

207 215 185 168 167 168 212 167 167

N.S.

1 1.04 0.89 0.81 0.81 0.81 1.02 0.81 0.81

time (sec)

N/A 0.330 0.118 6.002 0.191 0.262 2.399 0.288 5.791

Problem 2191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 110 100 88 129 88 109 89 87

N.S.

1 1.03 0.93 0.82 1.21 0.82 1.02 0.83 0.81

time (sec)

N/A 0.250 0.056 3.633 0.191 0.259 0.253 0.265 0.039

Problem 2192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 82 76 66 95 66 82 67 65

N.S.

1 1.04 0.96 0.84 1.20 0.84 1.04 0.85 0.82

time (sec)

N/A 0.225 0.047 5.933 0.187 0.265 0.188 0.276 0.030

Problem 2193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 54 52 44 61 43 54 45 43

N.S.

1 1.06 1.02 0.86 1.20 0.84 1.06 0.88 0.84

time (sec)

N/A 0.200 0.032 5.826 0.196 0.350 0.159 0.266 0.039

Problem 2194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 28 27 24 27 22 27 24 23

N.S.

1 1.04 1.00 0.89 1.00 0.81 1.00 0.89 0.85

time (sec)

N/A 0.178 0.021 5.826 0.205 0.254 0.134 0.275 0.038

Problem 2195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 28 30 21 20 20 37 22 17

N.S.

1 1.27 1.36 0.95 0.91 0.91 1.68 1.00 0.77

time (sec)

N/A 0.160 0.023 5.693 0.189 0.262 0.146 0.278 0.052

Problem 2196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 54 44 44 43 43 68 48 39

N.S.

1 1.15 0.94 0.94 0.91 0.91 1.45 1.02 0.83

time (sec)

N/A 0.199 0.042 5.848 0.197 0.267 0.333 0.258 0.061

Problem 2197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 82 69 66 64 69 99 69 60

N.S.

1 1.09 0.92 0.88 0.85 0.92 1.32 0.92 0.80

time (sec)

N/A 0.217 0.071 5.744 0.203 0.289 0.565 0.269 0.070

Problem 2198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 110 93 88 86 92 126 91 82

N.S.

1 1.07 0.90 0.85 0.83 0.89 1.22 0.88 0.80

time (sec)

N/A 0.252 0.086 12.573 0.218 0.257 0.900 0.264 5.723

Problem 2199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 114 119 95 129 128 272 100 99

N.S.

1 1.03 1.07 0.86 1.16 1.15 2.45 0.90 0.89

time (sec)

N/A 0.270 0.077 5.984 0.195 0.249 0.373 0.279 0.046

Problem 2200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 86 95 73 95 106 212 78 77

N.S.

1 1.04 1.14 0.88 1.14 1.28 2.55 0.94 0.93

time (sec)

N/A 0.250 0.067 3.633 0.272 0.259 0.277 0.271 0.037

[next] [prev] [prev-tail] [front] [up]